Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

A Featherweight Java Interpreter Implemented in a Functional Programming Language Despite the fact that the functional programming languages are very old, they are still getting more familiar even to non-academic develop

Source URL: www.acm-spy.cz

1 Monadic Parser Combinators Graham Hutton University of Nottingham

Source URL: www.cs.nott.ac.uk

• Software engineering
• Computer programming
• Parsing
• Functional programming
• Formal languages
• Compiler construction
• Parser combinator
• Monad
• Recursive descent parser
• Compiler-compiler
• Combinatory logic
• Syntax

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effects

Source URL: strictlypositive.org

A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ

Source URL: ect.bell-labs.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functions and mappings
• Subroutines
• Functional programming
• Charts
• Graph of a function
• Closure
• Function
• Lambda lifting

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: amitlevy.com

• Functional programming
• Programming idioms
• Inter-process communication
• Software design patterns
• Parallel computing
• Monad
• Concurrent Haskell
• Information flow
• Covert channel
• Concurrent computing
• LIO
• Recursion

Haskell for (E)DSLs Andres Löh Well-Typed LLP Functional Programming eXchange, 16 March 2012

Source URL: www.andres-loeh.de

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University

Source URL: jeapostrophe.github.io

• Control flow
• Subroutines
• Computability theory
• Theoretical computer science
• Functional programming
• Continuation-passing style
• Lambda calculus
• Continuation
• Direct style
• Eval
• Stack
• Static single assignment form